\begin{picture}(300,270)
%\put(0,10){$\hill^*$}
\put(0,255){Bounded-Length}
\put(30,170){$\Hav$}
\put(30,85){Indist}
\put(133,85){$\simul$}
\put(55,10){Hard-to-invert}



\put(210, 245){Probing}
\put(210, 195){Noisy}
\put(225, 240){\vector(0, -1){37}}
\put(230, 202){\vector(0, 1){37}}
\put(235, 220){\cite{duc2014unifying}}


\put(220, 110){Computationally Bounded????}

\put(193, 290){\line(0, -1){280}}

\put(0, 270){\line(1, 0){340}}

\put(25, 280){Implementation Independent}
\put(200, 280){Implementation Dependent}

%BOTTOM ARROWS
%\put(35,10){\vector(1,0){60}}
%\put(43,0){Lossless}
%\put(95,15){\vector(-1,0){60}}
%\put(51,32){Loss in}
%\put(43,20){circuit size}

%bounded-length implies entropy
\put(40,245){\vector(0, -1){60}}
\put(-25,174){Lemma 2.2}
\put(-25,162){\cite{DBLP:journals/siamcomp/DodisORS08}}
%top arrow 2
\put(40,160){\vector(0, -1){60}}
%top arrow
%\put(35,88){\vector(1,0){60}}
%\put(43,78){Lossless}

%diagonal arrow
%hill implies unp
\put(50,70){\vector(1, -1){40}}
\put(25,40){Lemma 8}
\put(25,28){\cite{DBLP:conf/eurocrypt/HsiaoLR07}}
%simulatable implies unp
\put(135,70){\vector(-1, -1){40}}
\put(70,60){\lemref{lem:owf unpredictability}}
%unp does not imply simulatable
\put(105,30){\vector(1, 1){40}}
\put(123,42){\line(0, 1){13}}
\put(130,40){\lemref{lem:unp not sim}}

%\put(90,20){\vector(-1,1){40}}
%\put(90,20){\vector(1,1){40}}
%\put(25,44){Loss in}
%\put(17,32){circuit size}
%\put(10,20){and/or quality}
%%left side
%\put(20,30){\rotatebox{90}{Lossless}}
%\put(15,20){\vector(0,1){60}}
%\put(10,80){\vector(0,-1){60}}
%\put(0,70){\rotatebox{270}{Lossless}}

%right side
%\put(120,80){\vector(0,-1){60}}
%\put(110,70){\rotatebox{270}{Lossless}}

%side arrows for non equivalence
%bounded not imply Sim
\put(60,240){\vector(1, -2){65}}
\put(88,170){\line(1, 1){10}}
\put(100, 180){\lemref{lem:bounded not sim}}

%Sim does not imply HILL
\put(65, 90){\lemref{lem:simul not hill}}
\put(120,80){\vector(-1, 0){60}}
\put(80,75){\line(1, 1){10}}

\end{picture}
